1. Noun. (set theory) A relation that is reflexive, antisymmetric, and transitive. ¹
¹ Source: wiktionary.com